Label-free Modular Systems for Classical and Intuitionistic Modal Logics